- invariant testing
- 不变量测试
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
Scale-invariant feature transform — Feature detection Output of a typical corner detection algorithm … Wikipedia
Class invariant — This article is about class invariants in computer programming, for use of the term in mathematics, see equivalence class and invariant. In computer programming, specifically object oriented programming, a class invariant is an invariant used to… … Wikipedia
Dynamic testing — (or dynamic analysis) is a term used in software engineering to describe the testing of the dynamic behavior of code. That is, dynamic analysis refers to the examination of the physical response from the system to variables that are not constant… … Wikipedia
solids, mechanics of — ▪ physics Introduction science concerned with the stressing (stress), deformation (deformation and flow), and failure of solid materials and structures. What, then, is a solid? Any material, fluid or solid, can support normal forces.… … Universalium
Design by contract — (DbC) or Programming by Contract is an approach to designing computer software. It prescribes that software designers should define formal, precise and verifiable interface specifications for software components, which extend the ordinary… … Wikipedia
Alternatives to general relativity — are physical theories that attempt to describe the phenomena of gravitation in competition to Einstein s theory of general relativity.There have been many different attempts at constructing an ideal theory of gravity. These attempts can be split… … Wikipedia
optics — /op tiks/, n. (used with a sing. v.) the branch of physical science that deals with the properties and phenomena of both visible and invisible light and with vision. [1605 15; < ML optica < Gk optiká, n. use of neut. pl. of OPTIKÓS; see OPTIC,… … Universalium
Planar graph — Example graphs Planar Nonplanar Butterfly graph K5 The complete graph K4 … Wikipedia
String theory — This article is about the branch of theoretical physics. For other uses, see String theory (disambiguation). String theory … Wikipedia
Théorème de Robertson-Seymour — En mathématiques, et plus précisément en théorie des graphes, le théorème de Robertson–Seymour (parfois également appelé le théorème des mineurs, et connu, avant qu il soit démontré, sous le nom de conjecture de Wagner), est un théorème démontré… … Wikipédia en Français
Argumentation theory — Argumentation theory, or argumentation, embraces the arts and sciences of civil debate, dialogue, conversation, and persuasion; studying rules of inference, logic, and procedural rules in both artificial and real world settings. Argumentation is… … Wikipedia